UML Statechart Diagrams on the ADONIS Metamodeling Platform
نویسنده
چکیده
The metamodeling platform ADONIS has originally been implemented for the use in business process management. Its method independency and extensive customization functionalities also allow for the application in many different other areas such as strategic management, e-learning, object-oriented systems engineering, knowledge management, and numerous others. In computer science the Unified Modeling Language (UML) is the dominating standard for describing systems and behaviours. In this article it is shown how the abstract and concrete syntax of UML statechart diagrams can be described by the use of the metamodeling concepts of ADONIS.
منابع مشابه
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s st...
متن کاملDefining and Validating Metrics for UML Statechart Diagrams
Maintainability is an increasingly relevant quality aspect in the development of object oriented software systems (OOSS). It is generally accepted that OOSS maintainability is highly dependent on the decisions made early in the development life cycle. Conceptual modelling is an important task of this early development. So that the maintainability of conceptual models have a great influence on t...
متن کاملCoherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions ...
متن کاملCan Intuition Become Rigorous? Foundations for UML Model Verification Tools1
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper reports on research to facilitate the formal revision of UML informal specifications. The approach is based on the algebraic specification formal theory, which is used to formalize the UML Statechart Diagrams and subsequentl...
متن کاملTowards a Formal Operational Semantics of UML Statechart Diagrams
Statechart Diagrams are a notation for describing behaviours in the framework of UML, the Unified Modeling Language of object-oriented systems. UML is a semi-formal language, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML Statechart Diagrams differ from classical statecharts, as defined by Harel, for which formalizations and res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 127 شماره
صفحات -
تاریخ انتشار 2005